Implement and verify a program that computes the maximum of the values in the tree.